Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
591	11023_2007_9061_17_2-web[removed] Add to Reading List Source URL: www.d.umn.edu Language: English - Date: 2013-08-04 11:28:46 Thought Cognition Software engineering Data management Logic in computer science Formal verification Programming language Mathematics Concept Abstraction Programming paradigms Mind
592	Property Verification for Generic Access Control Models Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2014-12-01 10:19:28 Model checkers Applied mathematics Model checking NuSMV Software testing Formal verification Role-based access control Software development process Formal methods Access control Security
593	Codes Of Practice And Conduct GUIDANCE – GUIDANCE – GUIDANCE – GUIDANCE – GUIDANCE – GUIDANCE – GUIDANCE – GUIDANCE Draft Guidance: Digital Forensics Method Validation Add to Reading List Source URL: www.gov.uk Language: English - Date: 2014-09-18 04:54:10 Clinical research Quality Validation Formal methods Software development process Knowledge Computer forensics Computer security Verification and validation Pharmaceutical industry Validity Science
594	Document Template Document Number ESS[removed]Date Add to Reading List Source URL: europeanspallationsource.se Language: English - Date: 2014-09-30 09:10:21 Technology Quality Formal methods Product development Specification Technical communication Verification Requirement High- and low-level Systems engineering Science Systems science
595	Direct Verification Helpful Hints Step 1: Log in to the Direct Certification/Verification system at: https://ncdcv.org using the NCID User Name and Password. Be sure to check the box beside “I agree to the Terms of Use Add to Reading List Source URL: childnutrition.ncpublicschools.gov Language: English - Date: 2014-10-02 15:18:23 Formal methods Logic in computer science
596	SURVICE Engineering Verification, Validation, and Accreditation (VV&A) Fact Sheet Add to Reading List Source URL: www.survice.com Language: English - Date: 2013-07-23 11:23:05 Science Systems science Evaluation Formal methods Quality Validation Verification and validation Software development process Accreditation Systems engineering Pharmaceutical industry Validity
597	Cooperate to Validate OBSERVAL-NET experts’ report on Validation of Non-formal and Informal learning (VNIL[removed]Authors: Saskia Weber Guisan, Janine Voit, Sonja Lengauer, Eva Proinger, Ruud Duvekot and Kirsten Aagaar Add to Reading List Source URL: www.observal-net.eu Language: English - Date: 2014-06-05 04:39:31 Education Knowledge Nonformal learning Informal learning Learning Verification and validation Validation Educational psychology Pharmaceutical industry Validity
598	Security Checkers: Detecting Processor Malicious Inclusions at Runtime Michael Bilzor, Ted Huffmire, Cynthia Irvine, and Tim Levin U.S. Naval Postgraduate School Abstract—To counter the growing threat of malicious sub Add to Reading List Source URL: www.cisr.us Language: English - Date: 2012-10-30 13:43:14 Hardware verification languages Logic design Formal methods Logic in computer science Hardware Trojan Property Specification Language Runtime verification SystemVerilog Functional verification Electronic engineering Digital electronics Hardware description languages
599	Formal specification and verification of control software for cryptographic equipment - Computer Security Applications Conference, 1990., Proceedings of the Sixth Annual Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2014-12-18 20:05:29 Authentication Login Transaction authentication number Password Security token SecurID Security Computer security Access token
600	Formal Modeling and Verification of CloudProxy Wei Yang Tan1 , Rohit Sinha1 , John L. Manferdelli2 , and Sanjit A. Seshia1 1 2 Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2014-08-07 18:17:41 Cyberwarfare Trusted Computing Cryptographic protocol Operating system Cryptographic hash function Cryptography Security Computer security

UPDATE